This collection brings together fourteen contributions by authors from around the globe. Each of the contributions engages with questions about how local and global bioethical issues are made to be comparable, in the hope of redressing basic needs and demands for justice. These works demonstrate the significant conceptual contributions that can be made through feminists' attention to debates in a range of interrelated fields, especially as they formulate appropriate responses to developments in medical technology, global economics, population shifts, and poverty.

Errett Bishop's work in constructive mathematics is overwhelmingly regarded as a turning point for mathematics based on intuitionistic logic. It brought new life to this form of mathematics and prompted the development of new areas of research that witness today's depth and breadth of constructive mathematics. Surprisingly, notwithstanding the extensive mathematical progress since the publication in 1967 of Errett Bishop's Foundations of Constructive Analysis, there has been no corresponding advances in the philosophy of constructive mathematics Bishop style. The aim of (...) this paper is to foster the philosophical debate about this form of mathematics. I begin by considering key elements of philosophical remarks by Bishop, especially focusing on Bishop's assessment of Brouwer. I then compare these remarks with ``traditional'' philosophical arguments for intuitionistic logic and argue that the latter are in tension with Bishop's views. ``Traditional'' arguments for intuitionistic logic turn out to be also in conflict with significant recent developments in constructive mathematics. This rises pressing questions for the philosopher of mathematics, especially with regard to the possibility of offering alternative philosophical arguments for constructive mathematics. I conclude with the suggestion to look anew at Bishop's own remarks for inspiration. (shrink)

Recent debates in metaphysics have highlighted the significance of type theories, such as Simple Type Theory (STT), for our philosophical analysis. In this chapter, I present the salient features of a constructive type theory in the style of Martin-Löf, termed CTT. My principal aim is to convey the flavour of this rich, flexible and sophisticated theory and compare it with STT. I especially focus on the forms of quantification which are available in CTT. A further aim is to argue that (...) a comparison between a plurality of theories is beneficial to the philosophical analysis. We may, for example, discover helpful features of one theory that we may want to import into another context, thus enriching our repertoire of formal tools. Or, through comparison with a less well-known theory, we may gain a better understanding of the characteristics of the theories we are familiar with. As argued in this chapter, CTT has much to offer in all of these respects. (shrink)

Radical democratic thinking is becoming intrigued by the material situatedness of its political agents and by the role of nonhuman participants in political interaction. At stake here is the displacement of narrow anthropocentrism that currently guides democratic theory and practice, and its repositioning into what we call ‘the nonhuman condition’. This Critical Exchange explores the nonhuman condition. It asks: What are the implications of decentering the human subject via a new materialist reading of radical democracy? Does this reading dilute political (...) agency? Or should this be seen, on the contrary, as an invitation for new voices and demands to enter into democratic assemblages? How might engagement with the more-than-human disrupt or extend theories of radical democracy? Hans Asenbaum and Amanda Machin discuss the human democratic subject both through radical democratic and new materialist lenses. They suggest that a new materialist decentred subject does not lose agency but further gains political responsibility in radical democracy. Jean-Paul Gagnon highlights the possibility of becoming through loss. In losing our anthropocentric arrogance—our understanding of being other and better than animal—we become more connected and discover our place in human-nonhuman assemblages. Melissa Orlie agrees that something can be gained through renouncing dominant human fantasies and presents a ‘radical democratic naturalism’. By renouncing land violence and acknowledging nature’s subjectivity, we can further nonexploitative radical democratic politics. This is where the notion of ‘tidalectic’ processes introduced by James L. Smith is helpful. Focusing on water and the Indigenous knowledges around rivers, he considers how democracy and community can be reimagined as plural, cyclical and attentive to the nonhuman with which the human is inevitably entangled. Diana Leong offers a different approach. Considering the nonhuman from the perspective of Black Studies demands an awareness to how blackness has long been constituted as non- or partially human. (shrink)

Visual literacy has long been important as a way of reading images beyond mimetic illustration. It also allows the reader to tap into a logic of representation in order to create different representations and narratives. In this essay I argue that images provide crucial temporal complexity to the study of narrative, with particular resonances for narrative historiography. The complex temporality of the image, especially the graphic narrative or comic, points toward a historical time which may be neither linear nor causal. (...) Moreover, images demand interaction from the reader, but offer many avenues of interpretation, suggesting that the reader pay attention to their own constructions of meaning and practices of narrativizing. -/- La litéracie visuelle a longtemps été importante comme façon de lire les images hors de simple illustration mimétique. Elle permet aussi le lecteur d’entrer dans une logique de représentation pour créer des différentes représentations et des différentes narrations. Dans cet essai, je soutiens que les images fournissent une cruciale complexité temporale pour l’étude des narrations, avec valence particuliaire pour l’historiographie narrative. La temporalité complexe de l’image, surtout la narration graphique ou bande dessinée, indique une temporalité historique qui sera peut-être ni linéaire, ni causative. Par ailleurs, les images exigent l’intéraction du lecteur, et au même temps ils offrent plusieurs avenues d’interprétation, ce qui attire l’attention du lecteur à ses propres habitudes de lecture et à ses propres narrations construits. (shrink)

In Geneva, since the beginning of pre-service secondary teacher training at university, two different types of students in teacher preparation coexist: some of them have got part-time classes, others have no teaching assignment. In an introduction to the teaching profession, students from different disciplines of the two types take a course on the same sources of professional knowledge. By analyzing the representations of the teaching profession, we find that the process of construction of their professional identity varies according to whether (...) they have a student teaching placement or not. : A Genève, depuis l’universitarisation de la formation des enseignants du secondaire, deux statuts d’étudiants en formation initiale à l’enseignement coexistent : les uns à mi-temps en responsabilité de classe, les autres sans contact avec le terrain. Dans une unité de formation d’introduction à la profession enseignante, des étudiants de disciplines différentes des deux statuts suivent un dispositif de formation identique portant sur les savoirs de référence constitutifs de la profession. En analysant les représentations du métier d’enseignant des étudiants, on constate que l’identité professionnelle en construction de ceux-ci évolue différemment selon s’ils sont sur le terrain ou non. (shrink)

In Geneva, since the beginning of pre-service secondary teacher training at university, two different types of students in teacher preparation coexist: some of them have got part-time classes, others have no teaching assignment. In an introduction to the teaching profession, students from different disciplines of the two types take a course on the same sources of professional knowledge. By analyzing the representations of the teaching profession, we find that the process of construction of their professional identity varies according to whether (...) they have a student teaching placement or not. A Genève, depuis l’universitarisation de la formation des enseignants du secondaire, deux statuts d’étudiants en formation initiale à l’enseignement coexistent : les uns à mi-temps en responsabilité de classe, les autres sans contact avec le terrain. Dans une unité de formation d’introduction à la profession enseignante, des étudiants de disciplines différentes des deux statuts suivent un dispositif de formation identique portant sur les savoirs de référence constitutifs de la profession. En analysant les représentations du métier d’enseignant des étudiants, on constate que l’identité professionnelle en construction de ceux-ci évolue différemment selon s’ils sont sur le terrain ou non. (shrink)

The rapid advancement of artificial intelligence systems has generated a means whereby assistive bionic prosthetics can become both more effective and practical for the patients who rely upon the use of such machines in their daily lives. However, de lege lata remains relatively unspoken as to the legal status of patients whose devices contain self-learning CIS that can interface directly with the peripheral nervous system. As a means to reconcile for this lack of legal foresight, this article approaches the topic (...) of CIS-nervous system interaction and the impacts it may have on the legal definition of “persons” under the law. While other literature of this nature centres upon notions of transhumanism or self-enhancement, the approach herein approached is designed to focus solely upon the legal nature of independent CIS actions when operating alongside human subjects. To this end, it is hoped that further discussion on the topic can be garnered outside of transhumanist discourse to expedite legal consideration for how these emerging relationships ought to be received by law-generating bodies internationally. (shrink)

Much of the discussion of the role of emerging technologies associated with AI, machine learning, digital simulacra, and relevant ethical considerations such as those discussed in the target article, take a relatively narrow and episodic view of a person’s healthcare needs. There is much speculation about diagnostic, treatment, and predictive applications but relatively little consideration of how such technologies might be used to address a person’s lived experience of illness and ongoing care needs. This is likely due to the greater (...) weight or priority given to acute care needs and the role of medical treatment in care provision, but it may also reflect the limitations of current technologies and our limited vision of their potential application. Such limitations are not surprising given that we are still grappling with the complexities and nuances of achieving the ethical and humanistic ideals of care, namely, care that addresses the hermeneutical, relational, contextual, temporal, and agential dimensions of a person’s health and wellbeing. (shrink)

The National Center for Biomedical Ontology is a consortium that comprises leading informaticians, biologists, clinicians, and ontologists, funded by the National Institutes of Health (NIH) Roadmap, to develop innovative technology and methods that allow scientists to record, manage, and disseminate biomedical information and knowledge in machine-processable form. The goals of the Center are (1) to help unify the divergent and isolated efforts in ontology development by promoting high quality open-source, standards-based tools to create, manage, and use ontologies, (2) to create (...) new software tools so that scientists can use ontologies to annotate and analyze biomedical data, (3) to provide a national resource for the ongoing evaluation, integration, and evolution of biomedical ontologies and associated tools and theories in the context of driving biomedical projects (DBPs), and (4) to disseminate the tools and resources of the Center and to identify, evaluate, and communicate best practices of ontology development to the biomedical community. Through the research activities within the Center, collaborations with the DBPs, and interactions with the biomedical community, our goal is to help scientists to work more effectively in the e-science paradigm, enhancing experiment design, experiment execution, data analysis, information synthesis, hypothesis generation and testing, and understand human disease. (shrink)

Nous proposons une étude de la constitution du sens dans l'interaction humain-machine à partir des définitions que donnent Turing et Wittgenstein à propos de la pensée, la compréhension, et de la décision. Nous voulons montrer par l'analyse comparative des proximités et différences conceptuelles entre les deux auteurs que le sens commun entre humains et machines se co-constitue dans et à partir de l'action, et que c'est précisément dans cette co-constitution que réside la valeur sociale de leur interaction. Il s'agira pour (...) cela de problématiser l'interaction humain-machine autour de la question de ce que signifie « suivre une règle » pour définir et distinguer les modes interprétatifs et les comportements décisionnels de chacun. Nous en viendrons alors au constat que la mutualisation des signes qui s'opère à travers le dialogue humain-machine est au fondement de la constitution d'une société informatisée. (shrink)

Le déficit d’explicabilité des techniques d’apprentissage machine (AM) pose des problèmes opérationnels, juridiques et éthiques. Un des principaux objectifs de notre projet est de fournir des explications éthiques des sorties générées par une application fondée sur de l’AM, considérée comme une boîte noire. La première étape de ce projet, présentée dans cet article, consiste à montrer que la validation de ces boîtes noires diffère épistémologiquement de celle mise en place dans le cadre d’une modélisation mathématique et causale d’un phénomène physique. (...) La différence majeure est qu’une méthode d’AM ne prétend pas représenter une causalité entre les paramètres d’entrées, qui peuvent être de plus de haute dimensionnalité, et ceux de sortie. Nous montrons dans cet article l’intérêt de mettre en œuvre les distinctions épistémologiques entre les différentes fonctions épistémiques d’un modèle, d’une part, et entre la fonction épistémique et l’usage d’un modèle, d’autre part. Enfin, la dernière partie de cet article présente nos travaux en cours sur l’évaluation d’une explication, qui peut être plus persuasive qu’informative, ce qui peut ainsi causer des problèmes d’ordre éthique. (shrink)

J’ai lu de nombreuses discussions récentes sur les limites du calcul et de l’univers en tant qu’ordinateur, dans l’espoir de trouver quelques commentaires sur le travail étonnant du physicien polymathe et théoricien de la décision David Wolpert, mais n’ont pas trouvé une seule citation et je présente donc ce résumé très bref. Wolpert s’est avéré quelques théoricaux d’impossibilité ou d’incomplétude renversants (1992 à 2008-voir arxiv dot org) sur les limites de l’inférence (computation) qui sont si généraux qu’ils sont indépendants de (...) l’appareil faisant le calcul, et même indépendamment des lois de la physique, ainsi ils s’appliquent à travers les ordinateurs, la physique, et le comportement humain. Ils utilisent la diagonalisation de Cantor, le paradoxe menteur et les worldlines (lignes du monde) pour fournir ce qui peut être le théorème ultime dans Turing Machine Theory, et apparemment fournir des aperçus de l’impossibilité, l’incomplétude, les limites du calcul, et l’univers comme ordinateur, dans tous les univers possibles et tous les êtres ou mécanismes possibles, générant, entre autres, un principe d’incertitude mécanique non quantique et une preuve de monothéisme. Il existe des connexions évidentes à l’œuvre classique de Chaitin, Solomonoff, Komolgarov et Wittgenstein et à l’idée qu’aucun programme (et donc aucun dispositif) ne peut générer une séquence (ou un dispositif) avec une plus grande complexité qu’il ne possède. On pourrait dire que cet ensemble de travaux implique l’athéisme puisqu’il ne peut y avoir d’entité plus complexe que l’univers physique et du point de vue wittgensteinien, « plus complexe » n’a aucun sens (n’a pas de conditions de satisfaction, c’est-à-dire véridique ou test). Même un « Dieu » (c’est-à-dire un « dispositif » avec un temps/ espace et une énergie illimité) ne peut pas déterminer si un « nombre » donné est « aléatoire», ni trouver un certain moyen de montrer qu’une « formule » donnée, un « théorème » ou une « phrase » ou un « dispositif » (tous ces jeux de langage complexes) fait partie d’un « système » particulier. Ceux qui souhaitent un cadre complet à jour pour le comportement humain de la vue moderne de deux systemes peuvent consulter mon livre 'The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle' 2nd ed (2019). Ceux qui s’intéressent à plus de mes écrits peuvent voir 'Talking Monkeys --Philosophie, Psychologie, Science, Religion et Politique sur une planète condamnée --Articles et revues 2006-2019 2ème ed (2019) et Suicidal Utopian Delusions in the 21st Century 4th ed (2019) et autres. (shrink)

Le déficit d’explicabilité des techniques d’apprentissage machine (AM) pose des problèmes opérationnels, juridiques et éthiques. Un des principaux objectifs de notre projet est de fournir des explications éthiques des sorties générées par une application fondée sur de l’AM, considérée comme une boîte noire. La première étape de ce projet, présentée dans cet article, consiste à montrer que la validation de ces boîtes noires diffère épistémologiquement de celle mise en place dans le cadre d’une modélisation mathéma- tique et causale d’un phénomène (...) physique. La différence majeure est qu’une méthode d’AM ne prétend pas représenter une causalité entre les paramètres d’entrées et ceux de sortie. Après avoir proposé une clarification et une adaptation des notions d’inter- prétabilité et d’explicabilité telles qu’on les rencontre dans la littérature déjà abondante sur le sujet, nous montrons dans cet article l’intérêt de mettre en œuvre les distinctions épistémologiques entre les différentes fonctions épistémiques d’un modèle, d’une part, et entre la fonction épistémique et l’usage d’un modèle, d’autre part. Enfin, la dernière partie de cet article présente nos travaux en cours sur l’évaluation d’une explication, qui peut être plus persuasive qu’informative, ce qui peut ainsi causer des problèmes d’ordre éthique. (shrink)

Artificial intelligence is man's attempt to use software to emulate the intelligence of human beings. But the complexity of the human neurological system formed in the course of evolution is impossible to replicate: "Human languages and societies are complex systems, indeed complex systems of many complex systems," so much so that their mathematical modeling is impossible. Barry Smith, philosopher and professor at the University at Buffalo. shows no uncertainty about this. His latest book written with Jobst Landgrebe, a mathematician and (...) entrepreneur in the AI field, leaves no doubt – starting with the title: Why machines will never rule the world (Routledge 2023). The book was presented in Turin during an evening organized by the Fondazione CRT and the Bruno Leoni Institute, in which Smith was interviewed based on questions developed by generative Ai. We have accepted the challenge to conduct an interview parallel to the one done with GPT4. (shrink)

Whether it was John Searle’s Chinese Room argument (Searle, 1980) or Roger Penrose’s argument of the non-computable nature of a mathematician’s insight – an argument that was based on Gödel’s Incompleteness theorem (Penrose, 1989), we have always had skeptics that questioned the possibility of realizing strong Artificial Intelligence (AI), or what has become known by Artificial General Intelligence (AGI). But this new book by Landgrebe and Smith (henceforth, L&S) is perhaps the strongest argument ever made against strong AI. It is (...) a very extensive review of what building a mind essentially amounts to drawing on insights and results from biology, physics, linguistics, computability, philosophy, and mathematics. (shrink)

A common and enduring early modern intuition is that materialists reduce organisms in general and human beings in particular to automata. Wasn’t a famous book of the time entitled L’Homme-Machine? In fact, the machine is employed as an analogy, and there was a specifically materialist form of embodiment, in which the body is not reduced to an inanimate machine, but is conceived as an affective, flesh-and-blood entity. We discuss how mechanist and vitalist models of organism exist in a more complementary (...) relation than hitherto imagined, with conceptions of embodiment resulting from experimental physiology. From La Mettrie to Bernard, mechanism, body and embodiment are constantly overlapping, modifying and overdetermining one another; embodiment came to be scientifically addressed under the successive figures of vie organique and then milieu intérieur, thereby overcoming the often lamented divide between scientific image and living experience. (shrink)

Is democracy a requirement of justice or an instrument for realizing it? The correct answer to this question, I argue, depends on the background circumstances against which democracy is defended. In the presence of thin reasonable disagreement about justice, we should value democracy only instrumentally (if at all); in the presence of thick reasonable disagreement about justice, we should value it also intrinsically, as a necessary demand of justice. Since the latter type of disagreement is pervasive in real-world politics, I (...) conclude that theories of justice designed for our world should be centrally concerned with democracy. (shrink)

In his recent bookThe Idea of Justice, Amartya Sen suggests that political philosophy should move beyond the dominant, Rawls-inspired, methodological paradigm – what Sen calls ‘transcendental institutionalism’ – towards a more practically oriented approach to justice: ‘realization-focused comparison’. In this article, I argue that Sen's call for a paradigm shift in thinking about justice is unwarranted. I show that his criticisms of the Rawlsian approach are either based on misunderstandings, or correct but of little consequence, and conclude that the Rawlsian (...) approach already delivers much of what Sen himself wants from a theory of justice. (shrink)

A globalized world, some argue, needs a global democracy. But there is considerable disagreement about whether global democracy is an ideal worth pursuing. One of the main grounds for scepticism is captured by the slogan: “No global demos, no global democracy.” The fact that a key precondition of democracy—a demos—is absent at the global level, some argue, speaks against the pursuit of global democracy. The paper discusses four interpretations of the skeptical slogan—each based on a specific account of the notion (...) of “the demos”—and concludes that none of them establishes that the global democratic ideal must be abandoned. In so doing, the paper (i) systematizes different types of objections against global democracy, thus bringing some clarity to an otherwise intricate debate and (ii) offers a robust but qualified defense of the global democratic ideal. (shrink)

This article provides a conceptual map of the debate on ideal and non‐ideal theory. It argues that this debate encompasses a number of different questions, which have not been kept sufficiently separate in the literature. In particular, the article distinguishes between the following three interpretations of the ‘ideal vs. non‐ideal theory’ contrast: (i) full compliance vs. partial compliance theory; (ii) utopian vs. realistic theory; (iii) end‐state vs. transitional theory. The article advances critical reflections on each of these sub‐debates, and highlights (...) areas for future research in the field. (shrink)

In this article I present a disagreement between classical and constructive approaches to predicativity regarding the predicative status of so-called generalised inductive definitions. I begin by offering some motivation for an enquiry in the predicative foundations of constructive mathematics, by looking at contemporary work at the intersection between mathematics and computer science. I then review the background notions and spell out the above-mentioned disagreement between classical and constructive approaches to predicativity. Finally, I look at possible ways of defending the constructive (...) predicativity of inductive definitions. (shrink)

In this article I argue that characterizations of anger as a hostile emotion may be mistaken. My project is empirically informed and is partly descriptive, partly diagnostic. It is descriptive in that I am concerned with what anger is, and how it tends to manifest, rather than with what anger should be or how moral anger is manifested. The orthodox view on anger takes it to be, descriptively, an emotion that aims for retribution. This view fits well with anger being (...) a hostile emotion, as retribution is punitive. I will argue that a different view of anger deserves our attention. On this alternative view, anger aims for recognition of harms done, rather than for the punishment of those who have committed them. I argue that we have reason to favour a strong view that excludes retribution from anger’s main aims. In addition, I offer a diagnosis of the reasons that led the retributive view of anger to become, and remain, orthodoxy. This diagnosis provides indirect reason to give my descriptive proposal serious consideration, for it highlights that the orthodox view has dominated folk and philosophical conceptions of anger for reasons that do not speak in favour of the view’s veracity. The view that anger is a hostile emotion will therefore emerge as in need of serious scrutiny. (shrink)

Frank Jackson often writes as if his descriptivist account of public language meanings were just plain common sense. How else are we to explain how different speakers manage to communicate using a public language? And how else can we explain how individuals arrive at confident judgments about the reference of their words in hypothetical scenarios? Our aim in this paper is to show just how controversial the psychological assumptions behind in Jackson’s semantic theory really are. First, we explain how Jackson’s (...) theory goes well beyond the commonsense platitudes he cites in its defence. Second, we sketch an alternative explanation of those platitudes, the jazz model of meaning, which we argue is more psychologically realistic. We conclude that the psychological picture presupposed by Jackson’s semantic theory stands in need of a much more substantial defence than he has so far offered. (shrink)

Much contemporary political philosophy claims to be Kant-inspired, but its aims and method differ from Kant's own. In his recent book, Force and Freedom, Arthur Ripstein advocates a more orthodox Kantian outlook, presenting it as superior to dominant (Kant-inspired) views. The most striking feature of this outlook is its attempt to ground the whole of political morality in one right: the right to freedom, understood as the right to be independent of others’ choices. Is Ripstein's Kantian project successful? In this (...) research note I argue that it is not. First, I suggest that Ripstein's notion of freedom is viciously circular. It is meant to ground all rights, but in fact it presupposes an account of those rights. Second, I show that—independently of its inability to ground a whole political morality—such a moralized understanding of freedom is normatively unappealing. (shrink)

In this article, I sketch a Kant-inspired liberal account of human rights: the freedom-centred view. This account conceptualizes human rights as entitlements that any political authority—any state in the first instance—must secure to qualify as a guarantor of its subjects' innate right to freedom. On this picture, when a state (or state-like institution) protects human rights, it reasonably qualifies as a moral agent to be treated with respect. By contrast, when a state (or state-like institution) fails to protect human rights, (...) it loses its moral status and becomes liable to both internal and external interference. I argue that this account not only steers a middle course between so-called natural-law and political approaches to human rights but also satisfies three important theoretical desiderata— explanatory power, functional specificity, and critical capacity. (shrink)

Reference to the state is ubiquitous in debates about global justice. Some authors see the state as central to the justification of principles of justice, and thereby reject their extension to the international realm. Others emphasize its role in the implementation of those principles. This chapter scrutinizes the variety of ways in which the state figures in the global-justice debate. Our discussion suggests that, although the state should have a prominent role in theorizing about global justice, contrary to what is (...) commonly thought, acknowledging this role does not lead to anti-cosmopolitan conclusions, but to the defense of an “intermediate” position about global justice. From a justificatory perspective, we argue, the state remains a key locus for the application of egalitarian principles of justice, but is not the only one. From the perspective of implementation, we suggest that state institutions are increasingly fragile in a heavily interdependent world, and need to be supplemented—though not supplanted—with supranational authorities. (shrink)

Predicativity is a notable example of fruitful interaction between philosophy and mathematical logic. It originated at the beginning of the 20th century from methodological and philosophical reflections on a changing concept of set. A clarification of this notion has prompted the development of fundamental new technical instruments, from Russell's type theory to an important chapter in proof theory, which saw the decisive involvement of Kreisel, Feferman and Schütte. The technical outcomes of predica-tivity have since taken a life of their own, (...) but have also produced a deeper understanding of the notion of predicativity, therefore witnessing the " light logic throws on problems in the foundations of mathematics. " (Feferman 1998, p. vii) Predicativity has been at the center of a considerable part of Feferman's work: over the years he has explored alternative ways of explicating and analyzing this notion and has shown that predicative mathematics extends much further than expected within ordinary mathematics. The aim of this note is to outline the principal features of predicativity, from its original motivations at the start of the past century to its logical analysis in the 1950-60's. The hope is to convey why predicativity is a fascinating subject, which has attracted Feferman's attention over the years. (shrink)

A life without liberty and material resources is not a good life. Equally, a life devoid of meaningful social relationships—such as friendships, family attachments, and romances—is not a good life. From this it is tempting to conclude that just as individuals have rights to liberty and material resources, they also have rights to access meaningful social relationships. I argue that this conclusion can be defended only in a narrow set of cases. ‘Pure’ social relationship deprivation—that is, deprivation that is not (...) caused, or accompanied, by deficits in liberties and material resources— mostly generates demands of private beneficence. I suggest that social relationship deprivation is unjust, hence a rights violation, only when it is due to factors—such as one’s race—that are irrelevant to one’s being a good participant in social relationships. I thus conclude that access to meaningful social relationships is not a fundamental concern for theories of justice. (shrink)

The advance of mechanism in science and philosophy in the 17th century created a great interest to machines or automata. Leibniz was no exception - in an early memoir Drôle de pensée he wrote admiringly about a machine that could walk on water, exhibited in Paris. The idea of automatic processing in general had a large role in his thought, as can be seen, for example, in his invention of the binary code and the so-called Calculemus!-model for solving controversies. In (...) metaphysics, the idea of an automata was expressed most clearly in the 1695 article New System of the Nature of Substances and their Communication, and the ensuing correspondence with, among others, Foucher, Bayle, Lamy, Jaquelot and Masham. In the article Leibniz discusses the soul as a spiritual machine in the context of pre-established harmony, arguing that God can "give to a substance at the outset a nature or internal force which could produce in it an orderly way (as in spiritual or formal automaton; but a free one, in the case of a substance which is endowed with a share of reason) everything that is going to happen to it, that is to say, all the appearances or expressions it is going to have, and all without the help of any created thing." The basic idea of Leibniz's spiritual machine is that the soul or entelechy is an autonomous and spontaneous unity, consisting of internal active force and producing its own perceptions (both confused and distinct). It is a self-moving machine, driven by its perceptions and appetites, but it follows (without being conscious of it) a lawful series or programme created by God. The entelechy remains the same despite undergoing an infinite number of changes. To Foucher he explained that each state of the individual substance is a consequence of its preceding one, "as if there were only God and the substance in the world". Despite this, the spiritual machine is related not only to God, but through the pre-established harmony to bodies or natural machines. However, as it is not dependent on them, the spiritual machine is superiot to natural machines. In this paper I concentrate on three moral themes related to the spiritual machine: moral deliberation, moral identity and the goal of moral action. All these themes are more or less implicit in the New System, but are discussed in more detail in the ensuing correspondence after the publication of the article. Finally, the themes are given an extended discussion especially in the second book of New Essays on Human Understanding (1704, published 1765), written partly at the same time as some of the correspondence and unpublished related material. I will first give an overview of Leibniz's position concerning the spiritual machine or automaton in the New System and then go on to explore the three moral themes one by one, as they feature in the subsequent correspondence and in the New Essays. I will show that the three topics are essential to the function of the spiritual machine – to Sophie Charlotte Leibniz wrote: "...let us say that everything in bodies happens mechanically, or in accordance with laws of motion, and that everything in the soul happens morally, or in accordance with perceived good or evil." There are many texts that anticipate the views in the New System (notably the unpublished memoir De Affectibus of 1679) and Leibniz continued to discuss its themes later on (in addition to correpondence, for example, in Theodicy of 1710 and Monadology and Principles of Nature and Grace of 1714). Here I focus on the short-term development of Leibniz's views on the topic (around 1695-1705), but I argue that his basic view of the spiritual machine did not change much after finishing the dialogue with Locke in 1704. (shrink)

In his thought-provoking book, Why Law Matters, Alon Harel defends two key claims: one ontological, the other axiological. First, he argues that constitutions and judicial review are necessary constituents of a just society. Second, he suggests that these institutions are not only means to the realization of worthy ends, but also non-instrumentally valuable. I agree with Harel that constitutions and judicial review have more than instrumental value, but I am not persuaded by his arguments in support of this conclusion. I (...) argue that Harel’s ontological claim is unsustainable, and that his axiological claim needs revision. Regarding the former, I show that constitutions and judicial review are only contingent constituents of a just society. Regarding the latter, I contest Harel’s specific account of the value of constitutions and judicial review. Harel grounds the non-instrumental value of constitutions in freedom as non-domination but, upon scrutiny, it emerges that their non-instrumental value lies elsewhere. Further, Harel holds that the non-instrumental value of judicial review stems from its embodying a right to a fair hearing. I argue that this right has non-instrumental value only under a particular set of circumstances. I thus conclude, contrary to Harel, that the non-instrumental value of judicial review is contingent on those circumstances obtaining. (shrink)

Metaphors for describing the introduction, impacts, and management of non-native species are numerous and often quite outspoken. Policy-makers have adopted increasingly disputed metaphorical terms from scientific discourse. We performed a critical analysis of the use of strong metaphors in reporting scientific findings to policy-makers. Our analysis shows that perceptions of harm, invasiveness or nativeness are dynamic and inevitably display multiple narratives in science, policy or management. Improving our awareness of multiple expert and stakeholder narratives that exist in the context of (...) non-native species management, as well as metaphorical alternatives, is critical. (shrink)

A recently developed view in political theory holds that only political agents, particularly states, can be primary bearers of human-rights duties. Problematically, this so-called ‘political view’ appears unable to account for the human-rights responsibilities of powerful non-state actors, such as transnational corporations (TNCs). Can a recognizably political view respond to this concern? I show that, once the moral underpinnings of the political view are made explicit, it can. I suggest that, on the political view, what makes states primary bearers of (...) human-rights duties is their possession of both (i) the capacity to fulfill human right and (ii) what I call the ‘authority-plus-sovereignty package’. Building on the existing literature on the moral responsibilities of TNCs, I argue that some TNCs—especially in areas of weak governance—meet these two conditions. I thus conclude that they count as bearers of primary human-rights responsibilities even from within a political perspective on human rights. (shrink)

Various philosophers authors have argued—on the basis of powerful examples—that we can have compelling moral or practical reasons to believe, even when the evidence suggests otherwise. This paper explores an alternative story, which still aims to respect widely shared intuitions about the motivating examples. Specifically, the paper proposes that what is at stake in these cases is not belief, but rather acceptance—an attitude classically characterized as taking a proposition as a premise in practical deliberation and action. I suggest that acceptance’s (...) theoretical usefulness in the ethics of belief has been hidden by its psychological obscurity. I thus aim to develop an empirically adequate and mechanistically specific psychological profile of acceptance. I characterize acceptance as centrally involving a cognitive gating function, in which we prevent a target belief state from having its characteristic downstream effects on reasoning, cognition, and action, and restructure those downstream processes. I then argue that there is substantial empirical support for the existence of the cognitive mechanisms needed to instantiate this view, coming from the science of emotion regulation. I argue that acceptance involves deploying the same mechanisms used in emotional response modulation to belief states: acceptance is doxastic response modulation. I then propose that having a better understanding of the psychological profile of acceptance leaves us better positioned to appreciate its potential usefulness for making progress on various puzzles within the ethics of belief. (shrink)

Although the view that sees proper names as referential singular terms is widely considered orthodoxy, there is a growing popularity to the view that proper names are predicates. This is partly because the orthodoxy faces two anomalies that Predicativism can solve: on the one hand, proper names can have multiple bearers. But multiple bearerhood is a problem to the idea that proper names have just one individual as referent. On the other hand, as Burge noted, proper names can have predicative (...) uses. But the view that proper names are singular terms arguably does not have the resources to deal with Burge’s cases. In this paper I argue that the Predicate View of proper names is mistaken. I first argue against the syntactic evidence used to support the view and against the predicativist’s methodology of inferring a semantic account for proper names based on incomplete syntactic data. I also show that Predicativism can neither explain the behaviour of proper names in full generality, nor claim the fundamentality of predicative names. In developing my own view, however, I accept the insight that proper names in some sense express generality. Hence I propose that proper names—albeit fundamentally singular referential terms—express generality in two senses. First, by being used as predicates, since then they are true of many individuals; and second, by being referentially related to many individuals. I respond to the problem of multiple bearerhood by proposing that proper names are polyreferential, and also explain the behaviour of proper names in light of the wider phenomenon I called category change, and show how Polyreferentialism can account for all uses of proper names. (shrink)

ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than classical logic. In (...) the following, I consider constructive set theories, which use intuitionistic rather than classical logic, and argue that they manifest a distinctive interdependence or an entanglement between sets and logic. In fact, Martin-Löf type theory identifies fundamental logical and set-theoretic notions. Remarkably, one of the motivations for this identification is the thought that classical quantification over infinite domains is problematic, while intuitionistic quantification is not. The approach to quantification adopted in Martin-Löf’s type theory is subtly interconnected with its predicativity. I conclude by recalling key aspects of an approach to predicativity inspired by Poincaré, which focuses on the issue of correct quantification over infinite domains and relate it back to Martin-Löf type theory. (shrink)

When and why do socially constructed norms—including the laws of the land, norms of etiquette, and informal customs—generate moral obligations? I argue that the answer lies in the duty to respect others, specifically to give them what I call “agency respect.” This is the kind of respect that people are owed in light of how they exercise their agency. My central thesis is this: To the extent that (i) existing norms are underpinned by people’s commitments as agents and (ii) they (...) do not conflict with morality, they place moral demands on us on agency-respect grounds. This view of the moral force of socially constructed norms, I suggest, is superior to views that deny the moral force of such norms, and it elegantly explains certain instances of wrongdoing that would otherwise remain unaccounted for. (shrink)

The orthodox view of anger takes desires for revenge or retribution to be central to the emotion. In this paper, I develop an empirically informed challenge to the retributive view of anger. In so doing, I argue that a distinct desire is central to anger: a desire for recognition. Desires for recognition aim at the targets of anger acknowledging the wrong they have committed, as opposed to aiming for their suffering. In light of the centrality of this desire for recognition, (...) I argue that the retributive view of anger should be abandoned. I consider and dismiss two types of moves that can be made on the part of a proponent of the orthodox view in response to my argument. I propose that a pluralist view, which allows for both retribution and recognition in anger, is to be preferred. (shrink)

In this paper, we introduce an enactive account of loving as participatory sense-making inspired by the “I love to you” of the feminist philosopher Luce Irigaray. Emancipating from the fusionist concept of romantic love, which understands love as unity, we conceptualise loving as an existential engagement in a dialectic of encounter, in continuous processes of becoming-in-relation. In these processes, desire acquires a certain prominence as the need to know (the other, the relation, oneself) more. We build on Irigaray’s account of (...) love to present a phenomenology of loving interactions and then our enactive account. Finally, we draw some implications for ethics. These concern language, difference, vulnerability, desire, and self-transformation. (shrink)

In this article, I develop a new account of the liberal view that principles of justice are meant to justify state coercion, and consider its implications for the question of global socioeconomic justice. Although contemporary proponents of this view deny that principles of socioeconomic justice apply globally, on my newly developed account this conclusion is mistaken. I distinguish between two types of coercion, systemic and interactional, and argue that a plausible theory of global justice should contain principles justifying both. The (...) justification of interactional coercion requires principles regulating interstate interference; that of systemic coercion requires principles of global socioeconomic justice. I argue that the proposed view not only helps us make progress in the debate on global justice, but also offers an independently compelling and systematic account of the function and conditions of applicability of justice. -/-. (shrink)

A prominent view in contemporary political theory, the ‘associative view’, says that duties of justice are triggered by particular cooperative relations between morally significant agents, and that ‘therefore’ principles of justice apply only among fellow citizens. This view has been challenged by advocates of global justice, who point to the existence of a world-wide cooperative network to which principles of justice apply. Call this the challenge from geographical extension. In this paper, I pose a structurally similar challenge to the associative (...) view: the challenge from species extension. This says that the existing network of cooperation extends beyond the human species, to encompass some non-human animals, particularly domesticated dogs. In light of this, if one believes that (i) certain non-human animals are morally significant (i.e. objects of moral concern), and that (ii) justice applies to fellow cooperators, one should also hold that domesticated dogs are owed justice in much the same way our human fellow citizens are. I conclude by considering the implications of this argument for the associative view, and animal-rights theory. (shrink)

Which standards should we employ to evaluate the global order? Should they be standards of justice or standards of legitimacy? In this article, I argue that liberal political theorists need not face this dilemma, because liberal justice and legitimacy are not distinct values. Rather, they indicate what the same value, i.e. equal respect for persons, demands of institutions under different sets of circumstances. I suggest that under real-world circumstances – characterized by conflicts and disagreements – equal respect demands basic-rights protection (...) and democratic participation, which I here call ‘political justice’. I conclude the article by considering three possible configurations of the global order – the ‘democratic world-state’, ‘independent democratic states’, and ‘mixed’ models – and argue that a commitment to political justice speaks in favour of the latter. (shrink)

Principles of distributive justice bind macro-level institutional agents, like the state. But what does justice require in non-ideal circumstances, where institutional agents are unjust or do not e...

Vous éprouvez souvent l'embarras du choix? Que sera la liberté au XXIe siècle? Depuis l'invention des machines et des computeurs, notre quotidien semble avoir gagné du temps. Mais en contrepartie, il paraît de plus en plus codé, soumis aux automatismes. Depuis Leibniz jusqu'à la puce biométrique, l'auteur raconte une histoire alternative de l'ère informatique. Il démontre que le " numérisme ", le principe ordinateur, est une vertu humaine ancestrale et nécessaire. Mais insuffisante. Après le sauve-qui-peut du postmodernisme, un nouveau paradigme (...) est en train de naître, le " créalisme " : le monde est notre création commune incessante. L'horizon de notre liberté politique et existentielle, c'est la Terre comme oeuvre d'art. Construit comme une odyssée philosophique curieuse et empreinte d'humour, voici un traité de cocréativité pour une époque aux forces actives éclatées. Où l'on découvre que l'ordre et l'aventure ne sont pas incompatibles. (shrink)